Control flow

Results: 3353



#Item
714329 Modeling Roundabout Traffic Flow as a Dynamic Fluid System Abstract With increasing usage of roundabouts as traffic control mechanisms, it is important to develop a criteria for the design of efficient roundabouts.

4329 Modeling Roundabout Traffic Flow as a Dynamic Fluid System Abstract With increasing usage of roundabouts as traffic control mechanisms, it is important to develop a criteria for the design of efficient roundabouts.

Add to Reading List

Source URL: www.math.washington.edu

- Date: 2009-02-13 14:36:05
    72CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

    CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

    Add to Reading List

    Source URL: www.csc.kth.se

    - Date: 2011-01-26 10:53:34
      73Procedure-Modular Verification of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov

      Procedure-Modular Verification of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov

      Add to Reading List

      Source URL: www.csc.kth.se

      - Date: 2011-01-17 07:03:19
        74CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

        CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2

        Add to Reading List

        Source URL: www.nada.kth.se

        - Date: 2011-09-12 13:20:20
          75Assignment 2 Review Supporting Control Flow ❖

          Assignment 2 Review Supporting Control Flow ❖

          Add to Reading List

          Source URL: dl.dropboxusercontent.com

            76Symbolic vs. Concrete Testing Mooly Sagiv Program Path • Program Path – A path in the control flow of the program

            Symbolic vs. Concrete Testing Mooly Sagiv Program Path • Program Path – A path in the control flow of the program

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-04-28 09:10:31
              77Procedure-Modular Verification of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov

              Procedure-Modular Verification of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov

              Add to Reading List

              Source URL: www.nada.kth.se

              - Date: 2011-09-12 13:20:20
                78Reducing Behavioural to Structural Control flow-based Properties of Sequential Programs with Procedures Dilian Gurov KTH Stockholm, Sweden Joint work with:

                Reducing Behavioural to Structural Control flow-based Properties of Sequential Programs with Procedures Dilian Gurov KTH Stockholm, Sweden Joint work with:

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2011-09-12 13:20:21
                  79LNCSSound Control-Flow Graph Extraction for Java Programs with Exceptions

                  LNCSSound Control-Flow Graph Extraction for Java Programs with Exceptions

                  Add to Reading List

                  Source URL: www.nada.kth.se

                  - Date: 2012-09-26 08:09:45
                    80Widening for Control-Flow Ben Hardekopf1 , Ben Wiedermann2 , Berkeley Churchill3 , and Vineeth Kashyap1 1 University of California, Santa Barbara — {benh, vineeth}@cs.ucsb.edu 2

                    Widening for Control-Flow Ben Hardekopf1 , Ben Wiedermann2 , Berkeley Churchill3 , and Vineeth Kashyap1 1 University of California, Santa Barbara — {benh, vineeth}@cs.ucsb.edu 2

                    Add to Reading List

                    Source URL: www.cs.ucsb.edu

                    - Date: 2014-01-17 23:41:13